$\forall$${\it es}$:ES, $e_{3}$, $e_{2}$, $e_{1}$:E. $e_{1}$ $\leq$ $e_{2}$  $\Rightarrow$ $e_{1}$ $\leq$ $e_{3}$  $\Rightarrow$ ([$e_{1}$, $e_{2}$] $\leq$ [$e_{1}$, $e_{3}$] $\Leftrightarrow$ $e_{2}$ $\leq$ $e_{3}$ )